University of Bologna - Formal methods for program verification and analysis, theory of concurrent constraint programming, program transformations, languages for real-time applications, logic programming.

Iowa State University - Temporal, spatial, belief, security, statistical and incomplete data; database models, type hierarchy, languages, user interfaces, optimization, implementation and access methods; pattern matching in spatio-temporal data.

Indian Institute of Technology, Delhi - Approximation Algorithms, Combinatorial Optimization and Graph Algorithms

University of Sussex at Brighton - natural language processing and computational linguistics, lexical knowledge representation, multilingual lexicons, tree adjoining grammars.

Indian Institute of Technology, Kanpur - Parallel Algorithms, Genetic Algorithms, Mobile Computing, PVM, MPI, and Distributed Databases.

Tata Institute of Fundamental Research, Mumbai - Computational Geometry and Applications, Robot Motion Planning, Geometric Graph Theory and Applications.

Keele University, UK

Carnegie Mellon University / Panasas, Inc. - Parallelism in secondary storage system technologies, especially parallel and distributed file systems, disk arrays, and network-attached storage devices.

IT SudParis. Personal information, details of research, publications, and teaching.

University of Edinburgh - PEPA stochastic process algebra, Standard ML functional programming language.